Merge pull request #1805 from antonio-nino-diaz-arm/an/generic-timer
authorAntonio Niño Díaz <[email protected]>
Wed, 6 Feb 2019 10:20:12 +0000 (10:20 +0000)
committerGitHub <[email protected]>
Wed, 6 Feb 2019 10:20:12 +0000 (10:20 +0000)
commitd636f67e60d65a0eaa5f7d5588ace3f6f3d66563
tree4830fd15df3426b973522bc040e0ec69131c7c5b
parenta45ccf135e48efc70006055c32e8a89fddb38db2
parent29a24134c170af1cda1b59e5f47071c8353ce3b9
Merge pull request #1805 from antonio-nino-diaz-arm/an/generic-timer

drivers: generic_delay_timer: Assert presence of Generic Timer